en

Exit subproof

ru

Перевод exit subproof на русский язык

exit subproof
He should exit the subproof once the conclusion is reached.
Он должен выйти из поддоказательства, как только будет достигнуто заключение.